*input tmp (tmp.mf 1 Calling t(300) Calling s(400)( 100.0000) Leaving s Calling s(c200)( 200.0000) Leaving s Leaving t Proof figures written on file tmp.press